типизированное лямбда-исчисление中文是什么意思

• 有类型λ演算

• "просто типизированное лямбда-исчисление" 中文翻译 :    简单类型λ演算
• "лямбда-исчисление" 中文翻译 :    Lambda演算Λ演算
• "список стран по численности вооружённых сил и военизированных формирований" 中文翻译 :    各国武装部队列表
• "автоматизированный станок с числовым управлением" 中文翻译 :    计算机数控机床
• "оптимизированное исправление" 中文翻译 :    快速修补优化修补
• "реляционное исчисление" 中文翻译 :    关系数据库
• "численное дифференцирование" 中文翻译 :    数值微分
• "численное интегрирование" 中文翻译 :    数值积分
• "вариационное исчисление" 中文翻译 :    变分学变分法
• "рандомизированное клиническое исследование" 中文翻译 :    随机临床试验
• "пи-исчисление" 中文翻译 :    Π-演算
• "приблизительное исчисление" 中文翻译 :    概算
• "издатель-подписчик (шаблон проектирования)" 中文翻译 :    发布/订阅
• "автоматизированное проектирование систем" 中文翻译 :    计算机系统设计
• "вариационное исчисле́ние" 中文翻译 :    变分法
• "новое летоисчисление" 中文翻译 :    公元
• "активизированное поглощение углерода" 中文翻译 :    活性炭吸附
• "специальное совещание по исследованию вопроса о рециркуляции изношенных шин и отходов резины" 中文翻译 :    研究回收利用废旧轮胎和橡胶废物特别会议
• "метод гаусса (численное интегрирование)" 中文翻译 :    高斯求积
• "центрированное пятиугольное число" 中文翻译 :    中心五边形数
• "естественное регулирование численности видов растений и животных" 中文翻译 :    生物控制
• "перейти на новое летосчисление" 中文翻译 :    迁正
• "основа исчисления" 中文翻译 :    本位
• "смоделированное исследование популяции" 中文翻译 :    虚拟鱼群分析
• "типизир" 中文翻译 :    分过类的定型化的典型化的
• "типизация многообразного" 中文翻译 :    多态统一